Self-adaptive systems need to monitor themselves, to check their internal behaviour and design assumptions about runtime inputs\nand conditions. This kind of monitoring for self-adaptive systems can include collecting statistics about such systems themselves\nwhich can be computationally intensive (for detailed statistics) and hence time consuming, with possible negative impact on selfadaptive\nresponse time. To mitigate this limitation, we extend the technique of in-circuit runtime assertions to cover statistical\nassertions in hardware.The presented designs implement several statistical operators that can be exploited by self-adaptive systems;\na novel optimization is developed for reducing the number of pairwise operators from O(N) to O(log (N)). To illustrate the\npracticability and industrial relevance of our proposed approach,we evaluate our designs, chosen froma class of possible application\nscenarios, for their resource usage and the tradeoffs between hardware and software implementations.
Loading....